Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay

Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay

Categorical Models for Fairness and a Fully Abstract Presheaf Semantics of SCCS with Finite Delay?

We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and meanings of finite delay by initial algebras of the process equations for delay. This can be viewed as a first step in representing fairness in presheaf semantics. ...

A Fully abstract presheaf semantics for SCCS with finite delay

We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and meanings of finite delay by initial algebras of the process equations for delay. This can be viewed as a first step in representing fairness in presheaf semantics. ...

A Fully Abstract Presheaf Semantics of SCCS with Finite Delay

We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and meanings of finite delay by initial algebras of the process equations for delay. This can be viewed as a first step in representing fairness in presheaf semantics. ...

Categorical Models for Fairness: Completion vs Delay

We study two different approaches to semantics for fairness within the categorical framework of presheaf models for concurrency [1, 2]. The first approach, used in e.g. dataflow models, is based on representing finite or infinite completed observations. A completed observation is the result of an infinite computation. A finite completed observation is then the result of an infinite computation ...